Transformat ions that Preserve

نویسندگان

  • Andris Ambainis
  • Tero Harju
چکیده

A b s t r a c t . We consider transformations (performed by general recursive operators) mapping recursive functions into recursive functions. These transformations can be considered as mapping sets of recursive functions into sets of recursive functions. A transformation is said to be preserving the identification type I, if the transformation always maps/-identifiable sets into/-identifiable sets. There are transformations preserving FIN but not EX, and there axe transformations preserving EX but not FIN. However, transformations preserving EXi always preserve EXj for j < i.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Advantages of a Transformational Grammar for Question Answering

A number of researchers in ar t i f ic ia l intel l igence, for example, Woods(1975, p.88 f f . ), have asserted that transformat ional grammars are not a satisfactory basis on which to construct natural language understanding systems, pr imari ly because of eff ic iency considerations. The evidence for such a claim is by no means strong, Pe t r i ck (1976) , and it can be argued that transfer ...

متن کامل

A Low-power Vlsi Design Methodology for High Bit-rate Data Communications over Utp Channel

Presented in this paper is a systematic methodology to design low-power integrated transceivers for broadband data communications over unshielded twisted-pair (UTP) channels. The design methodology is based upon two algorithmic low-power techniques referred to as Hilbert transformat ion and strength reductzon and a high-speed pipelining technique referred to as relaxed look-ahead transformation...

متن کامل

Region Scheduling: An Approach for Detecting and Redistributing Parallelism

Absfruct-In dekeloping compi ler techniques f o r p rog rams targeted f o r paral le l execution, i t is imperat ive that a p rog ram representation be ut i l ized that no t onl? facil i tates the detection a n d scheduling o f parallelism bu t also easil? enables p rog ram transformat ions that increase opportuni t ies f o r parallelism. These requirements are the d r i v i n g force behind re...

متن کامل

The Z - Transformat ion Graph for an Outerp lane B ipar t i t e Graph has

K e y w o r d s P l a n e graph, Outerplane graph, Bipartite graph, Perfect matching, Z-transformation graph. 1. I N T R O D U C T I O N A graph G is a planar graph if it can be embedded in plane such that edges only intersect at their end vertices. A plane graph is such an embedding. A plane graph is called an outerplane graph if all vertices are lie on the boundary of the exterior face. A gra...

متن کامل

Transformat ion of tetra- and t r ichloromethane to CO 2 by anaerobic bacteria is a non-enzymic process

Degradation of tetrachloromethane was examined in the three strictly anaerobic bacteria, Acetobacterium woodii. Desulfobacterium autotrophicum and Methanobacterium thermoauwtrophicum. When incubated under anaerobic conditions in reduced buffer, suspensions of each organism degraded CCI4 by both reductive and substitutive mechanisms. The products formed included less-highly chlorinated methanes ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005